1

Contract-based System Design - The SPEEDS Approach

Year:
2008
Language:
english
File:
PDF, 1.10 MB
english, 2008
6

A sound and relatively complete Hoare-logic for a language with higher type procedures

Year:
1983
Language:
english
File:
PDF, 1.65 MB
english, 1983